katalozi baze podataka digitalne zbirke usluge kontakt
Podaci iz CDS/ISIS-a prije konverzije
Ovaj katalog ne obnavlja se od 2008. godine.

Nova verzija kataloga, s ažurnim podacima o dostupnosti primjeraka , nalazi se na adresi http://koha.ffzg.hr.

Rezultati pretraživanja

Broj rezultata: 3

1
ISBN:0-262-04154-5
Autor(i):Bakker, Jaco de ; Vink, Erik de
Naslov:Control flow semantics / Jaco de Bakker and Erik de Vink
Impresum:Cambridge, Mass. ; London : The MIT Press , 1996
Materijalni opis:XVII, 564 str. ; 24 cm
Jezik:engleski
Nakladnička cjelina:Foundations of Computing
Napomena:Str. 543- 556: Bibliografija. - Str. 557-560: Autorsko kazalo. - Str. 561-64: Predmetno kazalo
Ključne riječi:računalstvo * programski jezici-semantika
Sažetak:<programming languages> <computing science> <semantics>
UDK:004
Namjena :lin
Signatura:LO 004 BAK C
Inventarni broj:15882
Vrsta građe:knjiga
Knjižnica:Knjižnica Odsjeka za lingvistiku i orijentalne studije, http://www.knjiznice.ffzg.hr/lingvistika
MFN:957
2
ISBN:0-262-19349-3
Autor(i):Schmidt, David A.
Naslov:The structure of typed programming languages / David A. Schmidt
Impresum:Cambridge, Mass. ; London : The MIT Press , 1994
Materijalni opis:XIV, 367 str. ; 24 cm
Jezik:engleski
Nakladnička cjelina:Foundations of computing
Napomena:Str. 343-360: Bibliografija. - Str. 361-67: Kazalo
Ključne riječi:računalstvo * programski jezici
Sažetak:<programmnig lanuguage core> <abstraction principle> <qualification principle> <records> <lambda abstractions> <lambda calculus> <functional programming languages> <propositional-logic typing> <predicate-logic typing> <computing science> <computers>
UDK:004
Namjena :lin
Signatura:LO 004 SCH S
Inventarni broj:15884
Vrsta građe:knjiga
Knjižnica:Knjižnica Odsjeka za lingvistiku i orijentalne studije, http://www.knjiznice.ffzg.hr/lingvistika
MFN:955
3
ISBN:86-05-00123-2
Autor(i):Grčanac, Tomislav
Naslov:LOGO programski jezik : i opis programskog jezika LISP / Tomislav Grčanac
Impresum:Zagreb : Mladost , 1987
Materijalni opis:451 str. ; 24 cm
Jezik:hrvatski
Napomena:Str. 436-439: Biblografija
Ključne riječi:računalstvo * programski jezici
UDK:004.43
Signatura:PE 004 GRČ l
Inventarni broj:14483
Vrsta građe:knjiga
Knjižnica:Knjižnica Odsjeka za pedagogiju, http://www.knjiznice.ffzg.hr/pedagogija
MFN:307
1

Upit: UncontrolledTerms_swish=(programski jezici )

login